Vanishing of Avramov obstructions for products of sequentially transverse ideals

Two ideals I and J are called transverse if ∩ = . We show that the obstructions defined by Avramov for products of (sequentially) in regular local rings always 0. In particular, we compute an explicit free resolution Koszul homology all such ideals. Moreover, construct trivial Massey operation on associated complex hence (by Golod's construction) a minimal residue field over quotient product conclude with questions about existence associative multiplicative structures